(Info-insert-dir): Ignore duplicate directories.
authorRichard M. Stallman <rms@gnu.org>
Fri, 28 May 1993 18:35:23 +0000 (18:35 +0000)
committerRichard M. Stallman <rms@gnu.org>
Fri, 28 May 1993 18:35:23 +0000 (18:35 +0000)
commitf4008b6ee93cd08138156009ef0c91d4f107776d
tree1844ac0eb49495e9633c678999780c0b86da61d7
parente562af697cf6a8a3eeceed3b27ebdb0591656476
(Info-insert-dir): Ignore duplicate directories.
lisp/info.el